1. Thinking about G?del and Turing

کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)

موضوع : G?del's theorem. ; Incompleteness theorems. ; Logic, Symbolic and mathematical. ; Metamathematics. ; Computational complexity. ;

2. Thinking about G?�del and Turing

پدیدآورنده :

کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)

موضوع : G?�del's theorem.,Incompleteness theorems.,Logic, Symbolic and mathematical.,Metamathematics.,Computational complexity.

رده :
QA
,
9
.
65
,.
C43
,
2007